Skip to content

CI: migrate to Bento#427

Merged
laszlocsomor merged 2 commits into
mainfrom
laszlo-ci-bento
May 26, 2026
Merged

CI: migrate to Bento#427
laszlocsomor merged 2 commits into
mainfrom
laszlo-ci-bento

Conversation

@laszlocsomor
Copy link
Copy Markdown
Contributor

Drive-by: pin actions/checkout to a known-good commit hash

Drive-by: pin actions/checkout to a known-good commit hash
- "engflow-job-name=ci-runners-test-matrix-${{matrix.remote_execution}}_${{matrix.allow_bento_snapshot}}"
- "engflow-job-type=${{github.event_name}}-${{github.ref_name}}"
- "engflow-run-id=${{ github.run_id }}"
# To avoid a race condition, among all the jobs that use the same Bento in the same repo, only
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

it's not a race condition. The intended use is that one job seeds the snapshot, and multiple jobs (including smaller ones like presubmit-checks) use the snapshot.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reading the code, looks like if multiple jobs specify engflow-bento-allow-save=true, all of them might take snapshots. I understand that's not the intended use, but if you do do that, isn't that a race condition?

It's not hard to accidentally do it with matrix jobs.

@laszlocsomor
Copy link
Copy Markdown
Contributor Author

Note about CI failure -- I experimented with different base images in the Bento; failed with one. I restored the original that CI worked with.

@laszlocsomor laszlocsomor merged commit 6a571d4 into main May 26, 2026
14 of 15 checks passed
@laszlocsomor laszlocsomor deleted the laszlo-ci-bento branch May 26, 2026 14:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants